#include <stdio.h>
#include <stdint.h>
#define N 6

int main()
{
    int a[N];
    for(int i = 0; i < N; i++)
    {
        scanf("%d", &a[i]);
    }
    int max = INT32_MIN;
    int sec = INT32_MIN;
    for(int i = 0; i < N;i++)// 6 6 6 6 6 6
    {
        if(a[i] > max)
        {
            sec = max;
            max = a[i];
        }
        else if(a[i] < max && a[i] > sec)// a[i] <= max
        {
            sec = a[i];
        }
    }
    if(sec == INT32_MIN)
    {
        printf("无\n");
    }
    else
        printf("sec = %d\n", sec);
}